logic (or "propositional calculus") A system of
symbolic logic using symbols to stand for whole
propositions and logical connectives. Propositional logic only considers whether a proposition is true or false. In contrast to
predicate logic, it does not consider the internal structure of propositions.
(2002-05-21)